Strong typing

#	Item
21	Information flow control for static enforcement of user-defined privacy policies Add to Reading List Source URL: preibusch.de Language: English - Date: 2011-05-07 04:27:00 Cross-platform software Type theory Java programming language Information flow Information theory Java platform Java Strong typing Type system Computing Software engineering Computer programming
22	Typeful Programming Luca Cardelli Digital Equipment Corporation, Systems Research Center Add to Reading List Source URL: www.lucacardelli.name Language: English - Date: 2007-10-27 12:43:49 Programming language theory Subtype polymorphism Type system Polymorphism Strong typing Type safety Parametric polymorphism Data type System F Type theory Software engineering Computing
23	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-04-20 03:32:12 Type theory Data types Functional languages Procedural programming languages Program analysis Type system Haskell C Strong typing Software engineering Programming language theory Computing